<?php
session_start();
if (empty($_SESSION['userID'])) {
    header("Location: reg.html");
}
?>
